Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
🎭Program Synthesis
Flag this post
Smoothsort Demystified
⚡Quicksort
Flag this post
Odd-Cycle-Packing-treewidth: On the Maximum Independent Set problem in odd-minor-free graph classes
arxiv.org·2d
🌳Fenwick Trees
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
Attention really is all you need — The Encoder
pub.towardsai.net·1h
🤖Transformers
Flag this post
Claude helped me make a multi agent ecosystem where models interact with each other autonomously
🔲Cellular Automata
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🕐Vector Clocks
Flag this post
devlog: garbage collection is useful
🗑️Garbage Collection
Flag this post
ML Systems Textbook by Havard
🚀MLOps
Flag this post
Space-Efficient and Output-Sensitive Algorithms for the Longest Common Bitonic Subsequence
arxiv.org·3d
🔍Fractional Cascading
Flag this post
Moving V8 to only flat strings
📄FlatBuffers
Flag this post
What Is Graph Anomaly Detection
🕸️Graph Databases
Flag this post
GNN From Scratch
🕸️GraphBLAS
Flag this post
Day 34: Python Balanced Numbers Filter, Identify Numbers with Equal Even and Odd Digits Using Modular Checks
📝Suffix Arrays
Flag this post
Understanding Go's Garbage Collector
🗑️Garbage Collection
Flag this post
The Quake III Arena Bot
🔲Cellular Automata
Flag this post
Solving Project Euler #45
📊Dynamic Programming
Flag this post
Loading...Loading more...